1. A 25-Year Perspective on Logic Programmin
المؤلف: / edited by Agostino Dovier, Enrico Pontelli
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Information theory.,Logic design.,Artificial intelligence.
2. Algebraic and Logic Programming :
المؤلف: edited by Michael Hanus, Mario Rodríguez-Artalejo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
3. Artificial Intelligence in Logic Design
المؤلف: by Svetlana N. Yanushkevich.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
4. Artificial intelligence in logic design
المؤلف: Yanushkevich, Svetlana N.
المکتبة: (سمنان)
موضوع: ، Logic design,، Artificial intelligence
رده :
TK
7868
.
Y3A7
5. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
المؤلف: Puppis, Gabriele
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
6. Beyond Two: Theory and Applications of Multiple-Valued Logic
المؤلف: edited by Melvin Fitting, Ewa Orłowska.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computer science.,Logic design.
7. Biomimetic and Biohybrid Systems :
المؤلف: edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
رده :
T173
.
8
.
L58
2019
8. Computational Logic :
المؤلف: edited by John W. Lloyd.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
QA76
.
9
.
A96
E358
1990
9. Descriptional complexity of formal systems :
المؤلف: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
رده :
QA76
.
5913
D34
2019
10. Developments in Language Theory
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
11. Embedded systems technology :
المؤلف: Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Embedded computer systems, Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Embedded computer systems.,Information retrieval.,Operating systems.
رده :
TK7895
.
E42
12. Graph Structures for Knowledge Representation and Reasoning
المؤلف: edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Computer science,Computer software,Logic design,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques
13. Implementation and Application of Automata :
المؤلف: edited by Michal Hospodâar, Galina Jirâaskovâa.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer network architectures.,Logic design.,Software engineering.,Logic design.,Machine theory.,Robotics.,Software engineering.
رده :
QA76
.
9
.
L63
14. Implementation and Application of Automata
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic design. ; Artificial intelligence. ; Computer network architectures. ; Software engineering. ; Logics and Meanings of Programs. ;
15. Implementation and Application of Functional Languages
المؤلف: edited by Sven-Bodo Scholz, Olaf Chitil.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
16. Implementation and Application of Functional Languages
المؤلف: edited by Marco T. Morazán, Sven-Bodo Scholz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
17. International Business Machine
المؤلف: Aggarwal, CharuC
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Artificial intelligence,، Computer architecture & logic design,، Computer networking & communications
رده :
Q
335
.
A33
18. Logic-Based Program Synthesis and Transformation
المؤلف: edited by María Alpuente.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
19. Logic Program Synthesis and Transformation :
المؤلف: edited by Maurizio Proietti.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
20. Logics in Artificial Intelligence :
المؤلف: edited by Craig MacNish, David Pearce, Luís Moniz Pereira.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
1994
